tagged{-}messages($l$;$s$;$v$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$x$.$<$$l$, $x$$>$;tagged{-}list{-}messages($s$;$v$;$L$))